Cryptographic protocols

Results: 3642



#Item
591Computational complexity theory / Automata theory / Symposium on Theoretical Aspects of Computer Science / Cryptographic protocols / Model checking / Network topology

Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: English - Date: 2014-10-03 08:24:08
592Zero-knowledge proof / Adversary model / Advantage / IP / Public-key cryptography / Communications protocol / Malleability / Cryptography / Cryptographic protocols / Commitment scheme

Constant-Round Coin-Tossing With a Man in the Middle or Realizing the Shared Random String Model Boaz Barak∗ May 19, 2008

Add to Reading List

Source URL: www.boazbarak.org

Language: English - Date: 2011-10-10 23:51:33
593Tunneling protocols / IPv6 / Cryptographic protocols / IPsec / IPv6 deployment / IPv6 transition mechanisms / Internet Protocol / Network architecture / Data

IPv6 Ready Logo Phase II Test Specification IPsec Technical Document Revision 1.8.0b2

Add to Reading List

Source URL: www.ipv6.ru

Language: English - Date: 2007-02-02 17:53:24
594Data types / Cryptographic protocols / Inter-process communication / Models of computation / Smalltalk / Lambda calculus / Variable / Alice and Bob / Secure multi-party computation / Computing / Software engineering / Computer programming

Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1

Add to Reading List

Source URL: www.cypherpunks.to

Language: English - Date: 2008-03-14 04:27:53
595Secure communication / Network architecture / Internet standards / Internet protocols / HTTP / Transport Layer Security / HTTP Secure / URI scheme / Opportunistic encryption / Internet / Computing / Cryptographic protocols

GSM Association Official Document WWG.04 - Network Management of Encrypted Traffic Non-confidential Network Management of Encrypted Traffic

Add to Reading List

Source URL: www.gsma.com

Language: English - Date: 2015-03-10 07:01:32
596Computing / Cryptography / Secure communication / Computer network security / Internet protocols / Transport Layer Security / Basic access authentication / Authentication / HTTP Secure / Security / Cryptographic protocols / HTTP

iHTTP: Efficient Authentication of Non-Confidential HTTP Traffic

Add to Reading List

Source URL: gionta.org

Language: English - Date: 2014-12-11 10:20:06
597Cryptographic protocols / Networking hardware / Electronic engineering / Wi-Fi / Computer network security / Point-to-point protocol over Ethernet / Wireless LAN / IEEE 802.11 / Router / Computing / Wireless networking / Technology

Belkin Surf N300 Wireless N Modem Router ADSL 2.4GHz 300Mbps • • •

Add to Reading List

Source URL: www.corintech.com.hk

Language: English - Date: 2013-10-03 04:31:12
598Computer network security / Data / Internet protocols / Tunneling protocols / Internet standards / IPsec / Internet Key Exchange / Internet Security Association and Key Management Protocol / RADIUS / Computing / Cryptographic protocols / Network architecture

Trust Management for IPsec Matt Blaze AT&T Labs - Research John Ioannidis AT&T Labs - Research

Add to Reading List

Source URL: www.isoc.org

Language: English - Date: 2001-07-20 00:19:57
599Computer architecture / Network architecture / Cryptographic protocols / Virtual private networks / Internet privacy / OpenVPN / Cisco Systems VPN Client / IPsec / Internet Key Exchange / Computer network security / Computing / Tunneling protocols

TheGreenBow VPN Client Pro User Guide Contact: Website: www.thegreenbow.com Property of TheGreenBow© - Sistech SA 2015

Add to Reading List

Source URL: www.thegreenbow.fr

Language: English - Date: 2014-10-28 11:06:31
600Cryptography / Communications protocol / Cryptographic primitive / Dines Bjørner / Computing / Data / Information / Cryptographic protocols

T (+ u (+ B Í http://www.lsv.ens-cachan.fr/~delaune/ Stéphanie Delaune

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: English - Date: 2014-10-01 04:59:16
UPDATE